Formalisation of Spatial Standards
نویسندگان
چکیده
ions”, in Current Trends in Programming Methodology (R. T. Yeh, ed.), vol. 1, pp. 1–33, Englewood Cliffs, N.J.: Prentice-Hall, 1978. [3] B. Liskov and J. Guttag, Abstraction and Specification in Program Development. The MIT Electrical Engineering and Computer Science Series, Cambridge, MA: MIT Press, 1986. [4] OMG, “UML resource page”, http://www.omg.org/uml/, 2000. [5] G. Booch, J. Rumbaugh, and I. Jacobson, The Unified Modeling Language Reference Manual. Reading: Addison-Wesley, 1999. [6] M. J. Egenhofer and A. U. Frank, “Object oriented modeling for GIS”, Journal of the Urban and Regional Information Systems URISA, vol. 4, no. 2, pp. 3–19, 1992. [7] A. U. Frank and W. Kuhn, “Specifying open GIS with functional languages”, in Advances in Spatial Databases (M. J. Egenhofer and J. R. Herring, eds.), vol. 951 of Lecture Notes in Computer Science, (Berlin), pp. 184–195, Springer, 1995. [8] A. U. Frank and W. Kuhn, “A specification language for interoperable GIS”, in Interoperating Geographic Information Systems (M. F. Good-
منابع مشابه
Dynamical Spatial Systems - A Potential Approach for the Application of Qualitative Spatial Calculi
A dynamical systems approach for modeling changing spatial environments is formalised. The formalisation adheres to the representational and computational semantics of situation calculus and includes a systematic account of all aspects necessary to implement a domain-independent qualitative spatial theory that is applicable across diverse application areas. Foundational to the formalisation is ...
متن کاملSpatial Analysis and Source Identification of Particulate Matter (PM10) in Yazd City
Introduction: The aim of this study was to spatial analysis of PM10 concentrations in the ambient air of Yazd in two seasons, and the zoning by using Kriging interpolation method. Finally, different factors affecting the concentrations of PM10 are marked and standards have been investigated Material and methods: The measurement of PM10 particulates was performed by the monitoring device HAZ-...
متن کاملA Coloured Petri Net Formalisation for a UML-Based Notation Applied to Cooperative System Modelling
New approaches are currently being adopted to address the development of cooperative systems, although not many standards exist that can be used to develop this type of interactive system. We apply the standard Unified Modelling Language (UML) notation within a methodology aimed at the analysis and design of such systems, and present a semantic formalisation of the UML notation used to model co...
متن کاملStrings and Holes: An Exercise on Spatial Reasoning
This paper investigates the challenging problem of encoding the knowledge and reasoning processes involved in the common sense manipulation of physical objects. In particular we provide a formalisation of a domain involving rigid objects, holes and a string within a reasoning about actions and change framework. Therefore, this work investigates the formalisation and reasoning about flexible obj...
متن کاملOWL Based Formalisation of Geographic Databases Specifications
The ability to share and combine geographic data from different information sources in a consistent way is a key issue for enabling successful implementation of Spatial Data Infrastructures (SDIs). This can only be done through a deep understanding of databases structure and content. In this poster, we propose to do that through the elicitation and formalisation of geographic database specifica...
متن کامل